active(d1).
active(d10).
active(d101).
active(d102).
active(d103).
active(d106).
active(d107).
active(d108).
active(d11).
active(d12).
active(d13).
active(d134).
active(d135).
active(d138).
active(d140).
active(d141).
active(d144).
active(d145).
active(d146).
active(d147).
active(d15).
active(d17).
active(d19).
active(d192).
active(d193).
active(d196).
active(d197).
active(d198).
active(d199).
active(d20).
active(d200).
active(d201).
active(d202).
active(d203).
active(d204).
active(d205).
active(d21).
active(d22).
active(d226).
active(d227).
active(d228).
active(d229).
active(d231).
active(d232).
active(d234).
active(d236).
active(d239).
active(d23_2).
active(d242).
active(d245).
active(d247).
active(d249).
active(d252).
active(d253).
active(d254).
active(d255).
active(d26).
active(d275).
active(d277).
active(d279).
active(d28).
active(d281).
active(d283).
active(d284).
active(d288).
active(d29).
active(d290).
active(d291).
active(d292).
active(d30).
active(d31).
active(d32).
active(d33).
active(d35).
active(d36).
active(d37).
active(d38).
active(d42).
active(d43).
active(d44).
active(d45).
active(d47).
active(d48).
active(d49).
active(d5).
active(d51).
active(d52).
active(d53).
active(d55).
active(d58).
active(d7).
active(d84).
active(d85_2).
active(d86).
active(d87).
active(d89).
active(d9).
active(d91).
active(d92).
active(d93).
active(d95).
active(d96).
active(d98).
active(d99).
active(d100).
active(d104).
active(d105).
active(d109).
active(d137).
active(d14).
active(d142).
active(d143).
active(d16).
active(d18).
active(d191).
active(d206).
active(d237).
active(d238).
active(d23_1).
active(d241).
active(d243).
active(d244).
active(d246).
active(d248).
active(d250).
active(d251).
active(d27).
active(d273).
active(d274).
active(d278).
active(d286).
active(d3).
active(d39).
active(d4).
active(d40).
active(d41).
active(d50).
active(d54).
active(d56).
active(d57).
active(d8).
active(d85_1).
active(d90).
active(d94).
active(d97).